Store(coalg compose set(a), get(a))